QF functors and (co)monads
نویسندگان
چکیده
منابع مشابه
Qf Functors and (co)monads
One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K : A → B between categories is Frobenius if there exists a functor G : B → A which is at the same time a right and left adjoint of K; a monad F on A is a Frobenius monad provided the forgetful functor AF → A is a Frobenius functor, where AF denotes the...
متن کاملSignals and Comonads
We propose a novel discipline for programming stream functions and for the semantic description of stream manipulation languages based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads. This seems to be a promising application for the old, but very little exploited idea that if monads abstract notions of computation of a value,...
متن کاملComonads and Galois Corings
The notion of a coring was introduced by M. E. Sweedler in [20] with the objective of formulating and proving a predual to the Jacobson-Bourbaki theorem for extensions of division rings. A fundamental argument in [20] is the following: given division rings E ⊆ A, each coideal J of the A–coring A ⊗E A gives rise to a factor coring C = A ⊗E A/J . If g ∈ C denotes the group-like element 1 ⊗E 1 + J...
متن کاملAzumaya Monads and Comonads
The definition of Azumaya algebras over commutative rings R requires the tensor product of modules over R and the twist map for the tensor product of any two R-modules. Similar constructions are available in braided monoidal categories, and Azumaya algebras were defined in these settings. Here, we introduce Azumaya monads on any category A by considering a monad (F,m, e) on A endowed with a dis...
متن کاملFundamentals Qf
. . l 'be&t imd~in i te~ard~en~th (FWL) state-space digital comp&satordesign~r~b lem is investigated. Instead of the usual sensitivity measure, it h argued that it may be desirable to mini&e a frequency weighted sensitivity measure over all similarity bmformations. The set of optimal realizations minimizing this weighted sensitivity b completely chaacterized, and an algorithm is proposed to fin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2013
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2012.10.030